\begin{tabbing}
d{-}comp{-}partial{-}world($D$; $v$; ${\it sched}$; ${\it dec}$; ${\it discrete}$; $t$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=d{-}partial{-}world($D$;CV(d{-}comp($D$; $v$; ${\it sched}$; ${\it dec}$; ${\it discrete}$));$t$;$\lambda$$i$.if ($t$ =$_{0}$ 0)\+
\\[0ex]then $\lambda$$x$.M($i$).init($x$)?$v$($i$,$x$)
\\[0ex]else (CV(d{-}comp($D$; $v$; ${\it sched}$; ${\it dec}$; ${\it discrete}$))(($t$ {-} 1),$i$)).1
\\[0ex]fi ;${\it discrete}$)
\-
\end{tabbing}